LNCS806

LNCS806
-H. Barendregt/T. Nipkow (Eds.): Types for Proofs and Programm, Springer-Verlag 1994

Acronyms von A bis Z. 2013.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • LNCS806 — H. Barendregt/T. Nipkow (Eds.): Types for Proofs and Programm, Springer Verlag 1994 …   Acronyms

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”